Enum isotope::term::AnnotationRef [−][src]
Expand description
A borrowed type annotation
Variants
Path(&'a Refl)
A type annotation consisting of a base type and an equal surface type
Type(&'a TermId)
A simple type annotation
Universe(Universe)
A type annotation where the type is guaranteed to be a typing universe
Implementations
Get this annotation as a universe, if possible
Get this annotation as a dependent function type, if possible
Get the type of this annotation with a given context. Note borrowed values may not be consed.
Get the base type of this annotation with a given context
Get the transported type of this annotation, if any
pub fn get_coerce_ty(
&self,
target: &TermId,
ctx: &mut impl TyCtxMut + ?Sized
) -> Result<Option<Annotation>, Error>
[src]
pub fn get_coerce_ty(
&self,
target: &TermId,
ctx: &mut impl TyCtxMut + ?Sized
) -> Result<Option<Annotation>, Error>
[src]Attempt to coerce the type of this annotation in a given typing context.
Trait Implementations
Borrow this term’s underlying annotation
Get the type of this annotation
Get the base type of this annotation
Whether this term depends on a variable with a given index: if equiv is true, also consider larger variables in the same equivalence class
Get whether a term depends on a variable base <= variable <= ix
Read more
Get the variable filter of this term
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Locally typecheck a term: note this is context-independent, without caching
Globally typecheck a term, i.e. typecheck all subterms, without caching
Typecheck this term’s annotation, without caching
Load this term’s current flags
Set this term’s flags. May cause errors if done incorrectly!
Locally typecheck a term: note this is context-independent.
Globally typecheck a term, i.e. typecheck all subterms and their variables
Variable typecheck a term, i.e. typecheck all subterms and their variables.
Typecheck this term’s annotation
Globally typecheck a term and it’s annotation, i.e. typecheck all subterms, annotation subterms, and their variables
Typecheck a term in a given context
Typecheck this term along with it’s variables
Whether this term might be type-checked
Auto Trait Implementations
impl<'a> !RefUnwindSafe for AnnotationRef<'a>
impl<'a> Send for AnnotationRef<'a>
impl<'a> Sync for AnnotationRef<'a>
impl<'a> Unpin for AnnotationRef<'a>
impl<'a> !UnwindSafe for AnnotationRef<'a>
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.